Treffer 1 – 5 von 5 für Suche 'Talpin, Jean-Pierre', Suchdauer: 0,05s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design von Talpin, Jean-Pierre
Veröffentlicht 2017Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
2
Dependable software engineering theories, tools, and applications : 8th international symposium, SETTA 2022, Beijing, China, October 27-29, 2022, proceedings
Veröffentlicht 2022Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch Tagungsbericht E-Book -
3
Cyber-physical system design from an architecture analysis viewpoint communications of NII Shonan Meetings
Veröffentlicht 2017Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch E-Book -
4
Dependable software engineering theories, tools, and applications : 8th international symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings
Veröffentlicht 2022Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen … -
5
Formal Methods and Models for System Design A System Level Perspective
Veröffentlicht 2004Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …