Relevant bibliographies by topics / Formale Verifikation

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters

Academic literature on the topic 'Formale Verifikation'

Author: Grafiati
Published: 4 June 2021
Last updated: 18 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formale Verifikation.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Formale Verifikation"

1

Grochowski, Marco, Hendrik Simon, Dimitri Bohlender, Stefan Kowalewski, Andreas Löcklin, Timo Müller, Nasser Jazdi, Andreas Zeller, and Michael Weyrich. "Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion." at - Automatisierungstechnik 68, no. 1 (January 28, 2020): 3–14. http://dx.doi.org/10.1515/auto-2019-0115.

Full text
Abstract:
ZusammenfassungDurch zunehmende Agilität im Entwicklungsprozess, kürzere Lebenszyklen und sich ändernde Kunden- und Gesetzgeberanforderungen müssen Produktionssysteme wandlungsfähig sein. Aber jede Veränderung des Systemverhaltens muss anschließend auch erneut abgesichert werden. Zur Absicherung sicherheitskritischer Funktionen eignen sich formale Verifikationsmethoden. Allerdings ist hierzu ein hoher Modellierungsaufwand notwendig, was den Einsatz formaler Verifikationsmethoden in der Praxis hemmt. Zudem empfiehlt sich eine Überprüfung der zur formalen Verifikation eingesetzten Modelle. Zur Bewältigung der Herausforderungen für die Absicherung, die eine Rekonfiguration während des Betriebs nach sich zieht, werden in diesem Beitrag zwei vielversprechende und sich gegenseitig ergänzende Ansätze für die lebenszyklusübergreifende Absicherung von Produktionssystemen vorgestellt.
APA, Harvard, Vancouver, ISO, and other styles
2

Ladiges, Jan, Aljosha Köcher, Peer Clement, Henry Bloch, Thomas Holm, Paul Altmann, Alexander Fay, and Leon Urbas. "Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen." at - Automatisierungstechnik 66, no. 5 (May 25, 2018): 418–37. http://dx.doi.org/10.1515/auto-2017-0076.

Full text
Abstract:
Zusammenfassung Dieser Beitrag beschreibt eine Methode für das Engineering von Abhängigkeiten zwischen Services, die ein Modul einer Produktionsanlage in der Prozessindustrie anbietet. Hierzu wird eine Serviceabhängigkeitsmatrix eingeführt, die beim Engineering eines Moduls genutzt werden kann, um die Abhängigkeiten zwischen Services festzulegen. Die Services werden jeweils als Petri-Netz beschrieben und durch die Abhängigkeiten in eine zusammenhängende Petri-Netz-Struktur überführt. Zur effizienten Darstellung der Services und ihrer Abhängigkeiten wird, basierend auf dem PNML-Kernmodell, ein neuer Petri-Netz-Typ eingeführt, die ServiceNets. Eine formale Analyse dieser Petri-Netze erlaubt die Verifikation u. a. hinsichtlich erreichbarer Zustände und Deadlock-Freiheit.
APA, Harvard, Vancouver, ISO, and other styles
3

Suriyati, Suriyati. "ILMU SEBAGAI METODE DAN PRODUK." Jurnal Al-Qalam: Jurnal Kajian Islam & Pendidikan 6, no. 1 (March 31, 2020): 161–70. http://dx.doi.org/10.47435/al-qalam.v6i1.131.

Full text
Abstract:
Ilmu merupakan kumpulan pengetahuan sistematis yang merupakan produk dari aktivitas penelitian dengan metode ilmiah / sebagai sistem pengetahuan, ilmu mempunyai obyek material dan obyek formal. Obyek material sering disebut pokok soal (subject matter), sedangkan obyek material dinamakan titik perhatian (focus of interest) atau sikap pikiran (attitude of mind). Lebih lazim, obyek formal dinamakan sudut pandang. Sebagai sistem pengetahuan atau pengetahuan sistematis, ilmu memiliki ciri- ciri empiris, sistematis, obyektif, analitis, dan verifikatif. Ciri empiris mengandaikan pengamatan (observasi) atau percobaan (eksperimen). Ilmu berbeda dari pengetahuan karena ciri sistematis, dan berbeda dari filsafat karena ciri empirisnya. Ciri sistematis berarti bahwa kumpulan pengetahuan-pengetahuan itu memiliki hubungan-hubungan ketergantungan dan teratur. Ciri obyektif ilmu berarti bahwa pengetahuan ilmiah bebas dari rasangka perseorangan (personal bias) dan pamrih pribadi. ilmu arus berisi data yang menggambarkan secara tepat gejala-gejala. ilmu berciri analitis artinya ilmu melakukan pemilahan-pemilahan atas pokok soal ke dalam bagian-bagian untuk mengetahui sifat dan hubungan bagian-bagian tersebut. Ciri verifikatif ilmu berarti bahwa tujuan yang ingin dicapai ilmu ialah kebenaran ilmiah. Kebenaran ini dapat berupa kaidah-kaidah atau azas-azas yang universal.
APA, Harvard, Vancouver, ISO, and other styles
4

Senen, Syamsul Hadi, and Martina Widjaja. "PENGARUH KONDISI SOSIAL KERJA TERHADAP MOTIVASI KERJA KARYAWAN, KAJIAN PADA KANDATEL BANDUNG." Strategic : Jurnal Pendidikan Manajemen Bisnis 9, no. 2 (September 13, 2009): 41. http://dx.doi.org/10.17509/strategic.v9i2.1066.

Full text
Abstract:
Globalisasi ekonomi telah berpengaruh pada perusahaan-perusahaan yang ada di seluruh dunia. Begitu pun di Indonesia, hal ini telah mempengaruhi perusahaan-perusahan besar yang telah berdiri, seperti PT. Telkom. Kini, PT. Telkom bukan lagi perusahaan yang memonopoli pasar telekomunikasi Indonesia, sehingga kompetisi menjadi ajang yang harus dijalankan oleh perusahaan mana pun. Masing-masing akan memperebutkan perhatian customer, yang paling kompetitif tentu saja yang akan menang dan tetap survive. Sebagai perusahaan yang bergerak dalam bisnis Infocom, maka PT. Telkom berupaya untuk menjamin bahwa pelanggan akan mendapatkan layanan terbaik berupa kemudahan, kualitas produk dan kualitas jaringan, dengan harga yang kompetitif. Pengelolaan masalah pelayanan terhadap pelanggan ini diwujudkan dengan keberadaan Kantor Daerah Pelayanan Telekomunikasi (KANDATEL). Permasalahan yang sedang dihadapi oleh KANDATEL Bandung, yaitu rendahnya motivasi para karyawan. Fenomena ini, jika tidak segera ditanggulangi tidak menutup kemungkinan akan menjadi penghambat bagi tercapainya tujuan perusahaan. Oleh karena itu perusahaan perlu mencari solusi yang tepat untuk dapat meningkatkan motivasi kerja karyawannya. Aspek-aspek yang dapat mempengaruhi motivasi kerja karyawan adalah kondisi sosial kerja. Kondisi sosial kerja terdiri dari organisasi formal, organisasi informal, pemimpin dan serikat pekerja.Berdasarkan permasalahan tersebut, maka diadakan penelitian. Yang menjadi objek penelitian adalah karyawan KANDATEL Bandung. Variabel bebas (X) dalam penelitian ini adalah kondisi sosial kerja yang terdiri dari sub variabel organisasi formal (X1.1), organisasi informal (X1.2), pemimpin (X1.3) dan serikat pekerja (X1.4), sedangkan untuk variabel terikat (Y) adalah motivasi kerja karyawan. Jenis penelitian ini menggunakan deskriptif verifikatif dan metode yang digunakan adalah survey dengan teknik simple random sampling dengan jumlah sampel sebesar 90 responden. Data yang digunakan adalah data primer dan sekunder, sedangkan teknik analisa data yang digunakan adalah teknik regresi ganda dengan menggunakan koefisien korelasi, koefisien determinasi, uji t dan uji F.Hasil penelitian menunjukkan bahwa pengaruh organisasi formal, organisasi informal, pemimpin dan serikat pekerja secara bersama-sama terhadap motivasi kerja karyawan adalah sebesar 54,1%.Berdasarkan kesimpulan di atas, pada umumnya karyawan telah dapat merasakan kondisi sosial kerja yang baik sehingga motivasi kerja yang dihasilkanpun tinggi.
APA, Harvard, Vancouver, ISO, and other styles
5

Joeliaty, Joeliaty. "MODAL INTELEKTUAL SEBAGAI SUMBER KEUNGGULAN BERSAING BERBASIS NILAI (CARBV) (STUDI PADA PROGRAM STUDI PERGURUAN TINGGI NEGERI DI BANDUNG JAWA BARAT)." Jurnal Muara Ilmu Ekonomi dan Bisnis 1, no. 1 (May 12, 2017): 26. http://dx.doi.org/10.24912/jmieb.v1i1.403.

Full text
Abstract:
Salah satu lembaga pendidikan tinggi yang secara formal diserahi tugas dan tanggung jawab mempersiapkan mahasiswa sesuai dengan tujuan pendidikan nasional adalah Perguruan Tnggi Negeri. Program Studi adalah bentuk produk pendidikan yang ditawarkan di Perguruan Tinggi, karena itu program studilah yang menentukan mutu pendidikan. Kenyataannya mutu pendidikan program studi beragam. Karena itu setiap program studi harus berusaha mengelola programnya secara tepat guna mencapai keungulan bersaing.Tujuan dari penelitian ini adalah untuk menghasilkan suatu kajian tentang modal intelektual sebagai sumber keunggulan bersaing program studi sarjana Perguruan Tinggi Negeri di Bandung.Penelitian ini dilakukan dengan metode deskriptif dan verifikatif, melalui survey yang melibatkan 55 sampel .Data diperoleh dari hasil observasi,penyebaran kuesioner dan wawancara. Analisis pengolahan datanya menggunakan Partial Least Square (PLS) dengan software Visual PLS dan XLStat.Hasil penelitian menunjukkan bahwa pendayagunaan modal intelektual secara optimal tergantung dari sejauhmana program studi mampu mengelola modal relasinya.Aspek yang paling menentukan keunggulan bersaing adalah sumber daya manusia (human capital )yang memiliki keahlian,pengetahuan dan kemampuan untuk menjalankan tugas yang tidak sama (rare) dengan yang disediakan oleh pesaing. Hasil pengujian hipotesis menunjukkan bahwa modal intelektual berpengaruh signifikan terhadap keunggulan bersaing.Yang berarti bahwa modal intelektual dapat menjadi sumber keunggulan bersaing pada pogram studi. Kata kunci: Modal Intelektual, Keunggulan Bersaing dan Program Studi
APA, Harvard, Vancouver, ISO, and other styles
6

Schmid, Detlef, Klaus Schneider, Michaela Huhn, George Logothetis, and Viktor Sabelfeld. "Formale Verifikation eingebetteter Systeme." it - Information Technology 41, no. 2 (January 1999). http://dx.doi.org/10.1524/itit.1999.41.2.12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ruf, Jürgen, and Thomas Kropf. "Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems)." it - Information Technology 43, no. 1 (January 1, 2001). http://dx.doi.org/10.1524/itit.2001.43.1.39.

Full text
Abstract:
Durch den Einzug von elektronischen Systemen in alle Bereiche unseres täglichen Lebens, unter anderem auch in sicherheitsrelevante Gebiete wie der Medizintechnik und der Verkehrsleittechnik, lastet immer mehr Verantwortung auf dem korrekten Entwurf dieser Komponenten. Da diese Systeme auch zunehmend in zeitkritischen Umgebungen eingesetzt werden, ist die Verifikation des zeitlichen Verhaltens immens wichtig. In diesem Artikel stellen wir einen Ansatz zur formalen Verifikation von Echtzeitsystemen vor, der es erlaubt, Systeme und Zeiteigenschaften komfortabel zu spezifizieren und der darüber hinaus effiziente Algorithmen zum automatischen Verifizieren bietet.
APA, Harvard, Vancouver, ISO, and other styles
8

Bormann, Jörg, and Christoph Spalinger. "Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists)." it - Information Technology 43, no. 1 (January 1, 2001). http://dx.doi.org/10.1524/itit.2001.43.1.22.

Full text
Abstract:
Der Eigenschaftsprüfer gateprop wird vorgestellt, der aktuelle Höhepunkt der mehr als 10-jährigen Entwicklung formaler Verifikationswerkzeuge in der Zentralabteilung Technik der Siemens AG. Er beweist Eigenschaften über die Funktionalität von Modulen von30 K 100 K Gattern und benötigt dafür meistens nur wenige Minuten. Anhand der erfolgreichen Anwendung während der Entwicklung von Telekommunikationsbausteinen und Prozessorperipherals wird der Ansatz erläutert, formale Verifikation zu einem von Designern beherrschbaren Handwerk zu machen und damit das enorme Potential für gründliche und schnelle Qualitätssicherung im Hardwareentwurf allgemein zur Verfügung zu stellen.
APA, Harvard, Vancouver, ISO, and other styles
9

Jansen, Peter. "Formale Verifikation von Spezifikations-Modellen (Formal Verification of Specification Models)." it - Information Technology 43, no. 1 (January 1, 2001). http://dx.doi.org/10.1524/itit.2001.43.1.35.

Full text
Abstract:
Die Komplexität der in der Automobilindustrie eingesetzten Steuergerätesoftware nimmt stark zu. Es ist notwendig, den Entwicklungsprozess dieser Tatsache anzupassen. Ein Weg ist der Einsatz von CASE-Werkzeugen (z.B. Statemate von der Firma i-Logix) zur Erstellung von Spezifikationen für die Steuergerätesoftware. Um die Korrektheit dieser Spezifikationen nachzuweisen, ist eine von OFFIS entwickelte Verifikationsumgebung erhältlich. Die Erfahrungen mit dieser Verifikationsumgebung werden in diesem Beitrag dargestellt.
APA, Harvard, Vancouver, ISO, and other styles
10

Büttner, Wolfram. "Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme." it - Information Technology 39, no. 3 (January 1997). http://dx.doi.org/10.1524/itit.1997.39.3.15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Formale Verifikation"

1

Grandy, Holger. "Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen /." Berlin : Logos-Verl, 2008. http://d-nb.info/989979873/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

König, Barbara. "Analysis and verification of systems with dynamically evolving structure." [S.l. : s.n.], 2004. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11947824.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Fengler, Olga. "Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze." [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=974934992.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Schickel, Martin. "Applications of property based synthesis in formal verification." Berlin dissertation.de, 2009. http://d-nb.info/999361627/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Haneberg, Dominik. "Sicherheit von Smart-Card-Anwendungen /." Berlin : Logos-Verl, 2007. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016072399&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hirsch, Martin. "Modell-basierte Verifikation von vernetzten mechatronischen Systemen." Berlin Logos-Verl, 2008. http://d-nb.info/991633024/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kühne, Ulrich. "Advanced automation in formal verification of processors." Aachen Shaker, 2009. http://d-nb.info/998313092/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Pavlović, Olivera [Verfasser], and Hans-Dieter [Akademischer Betreuer] Ehrich. "Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking / Olivera Pavlović ; Betreuer: Hans-Dieter Ehrich." Braunschweig : Technische Universität Braunschweig, 2009. http://d-nb.info/1175827967/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Massuthe, Peter. "Operating guidelines for services /." [Amsterdam] : SIKS, 2009. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017682193&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hofmann, Christian. "Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1226928403106-02590.

Full text
Abstract:
DNA-basierte Systeme beschreiben formal ein alternatives Berechnungskonzept, beruhend auf der Anwendung molekularbiologischer Operationen. Der Grundgedanke ist dabei die Entwicklung alternativer und universeller Rechnerarchitekturen. Infolge der zugrunde liegenden maximalen Parallelität sowie der hohen Komplexität entsprechender Systeme ist die Korrektheit jedoch schwer zu beweisen. Um dies zu ermöglichen werden in der Arbeit zunächst für drei verschiedene Systemklassen mit unterschiedlichen Berechnungsparadigmen strukturelle operationelle Semantiken definiert und bekannte Formalismen der Prozesstheorie adaptiert. Nachfolgend werden Tableaubeweissysteme beschrieben, mithilfe derer einerseits Invarianten und andererseits die jeweilige Korrektheit von DNA-basierten Systemen mit universeller Berechnungsstärke bewiesen werden können. Durch Anwendung dieser Konzepte konnte für drei universelle Systeme die Korrektheit gezeigt und für ein System widerlegt werden.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Formale Verifikation"

1

1964-, Teich Jürgen, ed. Digitale Hardware/Software-Systeme: Spezifikation und Verifikation. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

VSTTE 2010 (2010 Edinburgh, Scotland). Verified software: Theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium). Formal methods for industrial critical systems: 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Alessandro, Fantechi, and SpringerLink (Online service), eds. Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Saddek, Bensalem, and Peled Doron 1962-, eds. Runtime verification: 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers. Berlin: Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gregory, Kulczycki, and SpringerLink (Online service), eds. Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen. Wiesbaden: Vieweg+Teubner Verlag, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings. Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Formal Methods Foundations and Applications Lecture Notes in Computer Science. Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Foundations and Practice of Security Lecture Notes in Computer Science. Springer, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Formale Verifikation"

1

Eveking, Hans. "Formale Systeme der Prädikatenlogik." In Verifikation digitaler Systeme, 43–56. Wiesbaden: Vieweg+Teubner Verlag, 1991. http://dx.doi.org/10.1007/978-3-322-94684-3_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kurth, Helmut. "Formale Spezifikation und Verifikation - Ein Überblick -." In VIS ’91 Verläßliche Informationssysteme, 45–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-642-76562-9_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Halang, Wolfgang A., Bernd Krämer, and Norbert Völker. "Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen." In Verläßliche IT-Systeme, 229–50. Wiesbaden: Vieweg+Teubner Verlag, 1995. http://dx.doi.org/10.1007/978-3-322-91094-3_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Warnecke, Tim. "Sichere Integration von Teilsystemen zu System-of-Systems durch formale Verifikation." In Tag des Systems Engineering, 299–308. München: Carl Hanser Verlag GmbH & Co. KG, 2014. http://dx.doi.org/10.3139/9783446443761.030.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Brix, H., and A. Dietl. "Rechnergestützte Programmkonstruktion und -verifikation mit formalen Regeln." In Informatik in der Praxis, 196–206. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/978-3-642-93336-3_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Alexi, Werner. "Extraktion und Verifikation von Programmen durch Analyse formaler Beweise." In GWAI-85, 135–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/978-3-642-71145-9_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

"12 Formale Verifikation." In Algorithmen, 261–74. Oldenbourg Wissenschaftsverlag, 2006. http://dx.doi.org/10.1524/9783486593402.261.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

"11 Formale Verifikation." In Algorithmen in Java, 277–92. Oldenbourg Wissenschaftsverlag, 2012. http://dx.doi.org/10.1524/9783486718973.277.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Hintze, E., S. Magnus, and J. Krause. "Formale Verifikation von Kommunikationsprotokollen am Beispiel von IO-Link Safety." In Automation 2017, 157–58. VDI Verlag, 2017. http://dx.doi.org/10.51202/9783181022931-157.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formale Verifikation' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography