Jonathan S. Ostroff

发表

Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon, 2015, ESSS.
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke, 2000, Inf. Softw. Technol..
Jonathan S. Ostroff, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Richard F. Paige, Jonathan S. Ostroff, 2002, J. Object Technol..
Jonathan S. Ostroff, 2004, Real-Time Systems.
Richard F. Paige, Jonathan S. Ostroff, Oleksandr Fuks, 2004, J. Object Technol..
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke, 2002 .
Jonathan S. Ostroff, J. Ostroff, 1991, J. Log. Program..
Jonathan S. Ostroff, J. Ostroff, 1989, [1989] Proceedings. Real-Time Systems Symposium.
Richard F. Paige, Jonathan S. Ostroff, David Makalsky, 2004, XP.
Chen-Wei Wang, Jonathan S. Ostroff, Chen-Wei Wang, 2018, 2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE).
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke, 2005, J. Object Technol..
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke, 2004 .
Jonathan S. Ostroff, Faraz Ahmadi Torshizi, J. Ostroff, 2007, TAP.
Richard F. Paige, Jonathan S. Ostroff, 2000 .
Jonathan S. Ostroff, 1991, REX Workshop.
Jun Sun, Yang Liu, Chen-Wei Wang, 2013, FTSCS.
Richard F. Paige, Jonathan S. Ostroff, 1998, Proceedings Real-Time Systems Education III.
Jonathan S. Ostroff, J. Ostroff, 1995 .
Richard F. Paige, Jonathan S. Ostroff, 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
Richard F. Paige, Jonathan S. Ostroff, 1999, World Congress on Formal Methods.
Jonathan S. Ostroff, J. Ostroff, 1990, IEEE Trans. Parallel Distributed Syst..
Thai Son Hoang, Jonathan S. Ostroff, Simon Hudon, 2015, Software & Systems Modeling.
Jonathan S. Ostroff, J. Ostroff, 1989, Microprocessing and Microprogramming.
Richard F. Paige, Jonathan S. Ostroff, R. Paige, 2000, IEE Proc. Softw..
Karl-Erik Årzén, Jonathan S. Ostroff, Janan Zaytoon, 2000, Eur. J. Control.
Jonathan S. Ostroff, J. Ostroff, 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke, 2003, Obj. Logiciel Base données Réseaux.
Jonathan S. Ostroff, Bernd Schoeller, Hai Feng Huang, 2008, Formal Aspects of Computing.
W. M. Wonham, Jonathan S. Ostroff, W. Wonham, 1990 .
Bertrand Meyer, Jonathan S. Ostroff, Piotr Nienaltowski, 2009, Formal Aspects of Computing.
Jonathan S. Ostroff, J. Ostroff, 1997, IEEE Trans. Control. Syst. Technol..
Richard F. Paige, Jonathan S. Ostroff, R. Paige, 1999, UML.
Richard F. Paige, Jonathan S. Ostroff, Liliya Kaminskaya, 2002, J. Object Technol..
Marsha Chechik, Richard F. Paige, Jonathan S. Ostroff, 2009, CPA.
Jonathan S. Ostroff, Walter Murray Wonham, W. Wonham, 1987, IEEE Real-Time Systems Symposium.
Jonathan S. Ostroff, Ali Taleghani, 2003, eclipse '03.
Jonathan S. Ostroff, J. Ostroff, 1999, TSEM.
Jonathan S. Ostroff, Walter Murray Wonham, Mark Lawford, 1996, FORTE.
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke, 2007, TSEM.
Jonathan S. Ostroff, J. Ostroff, 1994 .
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon, 2013, FTSCS.
Jonathan S. Ostroff, J. Ostroff, 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.
Jonathan S. Ostroff, J. Ostroff, 1989, Automatic Verification Methods for Finite State Systems.
Richard F. Paige, Jonathan S. Ostroff, 2001, FASE.
Jonathan S. Ostroff, J. Ostroff, 1989 .
Richard F. Paige, Jonathan S. Ostroff, 2003, Formal Aspects of Computing.
Richard F. Paige, Jonathan S. Ostroff, 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon, 2012 .