Your search returned 5 results.

Results
		Inconsistency Handling in Multiperspective Specifications by Finkelstein, Anthony C. W Gabbay, Dov Nuseibeh, Bashar Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A New Structural Induction Theorem for Rings of Temporal Petri Nets by li, Jianan Suzuki, Lchiro Yamashita, Masafumi Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Proving Properties of Real-Time Systems through Logical Specifications and Petri Net Models by Felder, Miguel Mandrioli, Dino Morzednti, Angelo Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Specitication of Realtime Systems Using Astral by Coen-Porisinio, Alberto Ghezzi, Carlo Kemmerer, Richard A Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Verifying Correctness of Interfaces of Design Models of Manufacturing Systems Using Functional Abstractions. by Zurawski, R Source: IEEE Transactions on Industrial Electronics Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Report a problem