( en | de | ru )

 

Disambiguierung von "Zalewski, Janusz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs

, , , , und . (2000)
DOI: 10.1007/3-540-40891-6_4

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kerstin Zalewski

Isabella Zalewski

Ulrich Zalewski

Thomas Zalewski

Lukasz Zalewski

 

Weitere Publikationen von Autoren mit dem selben Namen

AI in Real Time: Is This Feasible?. ICCI, Seite 286-289. IEEE Computer Society, (1992)Formal Methods: Yes but How ?. NATO ASI RTC, Volume 127 von NATO ASI Series, Seite 622-624. Springer, (1992)Experimental evaluation of software development tools for safety-critical real-time systems., und . Innov. Syst. Softw. Eng., 1 (2): 176-188 (2005)Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs., , , , und . SAFECOMP, Volume 1943 von Lecture Notes in Computer Science, Seite 37-52. Springer, (2000)A Tool for Databus Safety Analysis Using Fault Injection., , und . SAFECOMP, Volume 4166 von Lecture Notes in Computer Science, Seite 261-274. Springer, (2006)Developing Component-Based Software for Real-Time Systems.. EUROMICRO, Seite 80-. IEEE Computer Society, (2001)Small is Beautiful: Embedded Systems Projects in an Undergraduate Software Engineering Program., , und . E2LP@FedCSIS, Volume 4 von Annals of Computer Science and Information Systems, Seite 35-41. (2014)Use of Artificial Intelligence Techniques for Prognostics: New Application of Rough Sets., und . Int. J. Comput., 11 (1): 73-81 (2012)A short note on computing permutations., und . FedCSIS, Volume 35 von Annals of Computer Science and Information Systems, Seite 979-982. (2023)Distance between the pseudosections of the vocal tract as the criterion in the speaker recognition process.. ECST, Seite 2341. ISCA, (1987)