Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Formal methods (Computer science) 4 [ausschließen]
- Méthodes formelles (Informatique)
- Academic theses 2 [ausschließen]
- Computer software ; Development 2 [ausschließen]
- Computer software Development 2 [ausschließen]
- Thèses et écrits académiques 2 [ausschließen]
- UML (Computer science) 2 [ausschließen]
- UML (Informatique) 2 [ausschließen]
- dissertations 2 [ausschließen]
- Biographies 1 [ausschließen]
- Biography 1 [ausschließen]
- COMPUTERS ; Computer Engineering 1 [ausschließen]
- COMPUTERS ; Hardware ; General 1 [ausschließen]
- COMPUTERS ; Machine Theory 1 [ausschließen]
- COMPUTERS ; Programming ; Object Oriented 1 [ausschließen]
- Circuits intégrés ; Vérification 1 [ausschließen]
- Conception de systèmes 1 [ausschließen]
- Embedded computer systems ; Design and construction 1 [ausschließen]
- Embedded computer systems ; Programming 1 [ausschließen]
- Embedded computer systems Design and construction 1 [ausschließen]
- Embedded computer systems Programming 1 [ausschließen]
- Integrated circuits ; Verification 1 [ausschließen]
- Integrated circuits Verification 1 [ausschließen]
- Logiciels ; Développement 1 [ausschließen]
- Object-oriented programming (Computer science) 1 [ausschließen]
- Programmation orientée objet (Informatique) 1 [ausschließen]
- Statecharts (Computer science) 1 [ausschließen]
- Statecharts (Informatique) 1 [ausschließen]
- System design 1 [ausschließen]
- Systems on a chip ; Testing 1 [ausschließen]
-
1
Communicating embedded systems software and design : formal methods
Veröffentlicht 2010lizenzpflichtig
Elektronisch E-Book -
2
Practical UML statecharts in C/C++ event-driven programming for embedded systems
Veröffentlicht 2009lizenzpflichtig
Elektronisch E-Book -
3
Verification techniques for system-level design
Veröffentlicht 2008lizenzpflichtig
Elektronisch E-Book -
4
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Veröffentlicht 2006lizenzpflichtig
Elektronisch E-Book