Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Czerny, Barbara J."'
Autor:
Leaphart, Eldon G., Czerny, Barbara J., D'Ambrosio, Joseph G., Denlinger, Christopher L., Littlejohn, Deron
Publikováno v:
SAE Transactions, 2005 Jan 01. 114, 149-164.
Externí odkaz:
https://www.jstor.org/stable/44682414
Publikováno v:
SAE Transactions, 2005 Jan 01. 114, 194-204.
Externí odkaz:
https://www.jstor.org/stable/44682419
Autor:
Czerny, Barbara J., D'Ambrosio, Joseph G., Jacob, Paravila O., Murray, Brian T., Sundaram, Padma
Publikováno v:
SAE Transactions, 2004 Jan 01. 113, 194-203.
Externí odkaz:
https://www.jstor.org/stable/44699532
Publikováno v:
SAE Transactions, 2003 Jan 01. 112, 548-558.
Externí odkaz:
https://www.jstor.org/stable/44699712
Autor:
Amberkar, Sanket, Czerny, Barbara J., D'Ambrosio, Joseph G., Demerly, Jon D., Murray, Brian T.
Publikováno v:
SAE Transactions, 2001 Jan 01. 110, 282-292.
Externí odkaz:
https://www.jstor.org/stable/44718336
Autor:
Amberkar, Sanket, D'Ambrosio, Joseph G., Murray, Brian T., Wysocki, Joseph, Czerny, Barbara J.
Publikováno v:
SAE Transactions, 2000 Jan 01. 109, 348-353.
Externí odkaz:
https://www.jstor.org/stable/44699146
Autor:
Heimdahl, Mats P.E. *, Czerny, Barbara J.
Publikováno v:
In Science of Computer Programming 2000 36(1):65-96
Autor:
Park, David Y. W., Skakkebæk, Jens U., Heimdahl, Mats P. E., Czerny, Barbara J., Dill, David L.
Publikováno v:
Proceedings of the Second Workshop: Formal Methods in Software Practice; 3/ 4/1998, p34-43, 10p
Publikováno v:
Computer (00189162); Apr98, Vol. 31 Issue 4, p47, 8p, 1 Diagram, 7 Charts
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.