• search hit 83 of 144
Back to Result List

Instruction List Verification Using a Petri Net Semantics

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Monika HeinerORCiD, Thomas Menzel
DOI:https://doi.org/10.1109/ICSMC.1998.725498
ISBN:0-7803-4778-1
Title of the source (English):1998 IEEE International Conference on Systems, Man and Cybernetics, San Diego, Calif., USA, October 11 - 14, 1998
Publisher:IEEE
Place of publication:Piscataway, NJ
Document Type:Conference Proceeding
Language:English
Year of publication:1998
First Page:716
Last Page:721
Comment:
referiert
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.