Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems
IEEE/CAA journal of automatica sinica, 2021-04, Vol.8 (4), p.905-915
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fairness Analysis of Petri Synthesis Net
2010 Third International Symposium on Electronic Commerce and Security, 2010, p.171-175
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Property Preservation by Petri-Net-Based Refinements in System Design
2008 The 9th International Conference for Young Computer Scientists, 2008, p.240-246
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Translation Methods from Timed Automata to Time Petri Nets
2009 International Conference on Computational Intelligence and Software Engineering, 2009, p.1-6
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Translations from Time Petri Nets to Timed Automata
2009 2nd International Conference on Biomedical Engineering and Informatics, 2009, p.1-5
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Property Preservation of Petri Refinement Net
2009 WRI World Congress on Computer Science and Information Engineering, 2009, Vol.5, p.749-754
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Structural Property Preservation of a Kind of Petri Net Refinement
2008 International Symposium on Information Science and Engineering, 2008, Vol.2, p.437-442
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Property Preservation of Time Petri Net Reduction
2010 Third International Symposium on Intelligent Information Technology and Security Informatics, 2010, p.154-159
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Comparison of the Expressiveness of Time Petri Nets and Timed Automata
2010 International Conference on Measuring Technology and Mechatronics Automation, 2010, Vol.1, p.800-804
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mining data from simulation of beer production
2005 International Conference on Natural Language Processing and Knowledge Engineering, 2005, p.47-51
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Research on the logistics distribution system based on Witness
2006 1st International Symposium on Systems and Control in Aerospace and Astronautics, 2006, p.5 pp.-805
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Research on the Computer Aided Design of Sensing Terminal System for Mass Transmission Equipment
2021 IEEE International Conference on Emergency Science and Information Technology (ICESIT), 2021, p.787-790
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An intelligent logistics monitoring application technology for large power materials
2021 2nd International Seminar on Artificial Intelligence, Networking and Information Technology (AINIT), 2021, p.532-535
2021
Volltextzugriff (PDF)
1 – 13 von 13
Suche als RSS-Feed
Aktive Filter
KollektionIEEE
Suchergebnisse filtern
Filter anzeigen