Software Engineering and Knowledge Engineering · 2008 · 12 citations · 2 references
ComputingComputer ScienceComputer SystemsFormal MethodsModel-based Systems EngineeringSystems ArchitectureArchitectural ModelingReference ArchitectureSoftware ArchitectureArchitectural SemanticsArchitecture ModelsFormal Analysis In ArchitectureSystem Architecture Specification
2
An automated tool for analyzing Petri nets using Spin
Gerald C. Gannod, Shikha Gupta · 2001 · 27 citations
A User-Centric Network Communication Broker for Multimedia Collaborative Computing
Chi Zhang, S. Masoud Sadjadi, Weixiang Sun et al. · 2006 · 15 citations