Hybrid modeling and verification of Java based software.

For the most recent entries see the Petri Nets Newsletter.

In: Software Engineering Techniques: Design for Quality, pages 121-126. 2006. URL: http://dx.doi.org/10.1007/978-0-387-39388-9₁2.

Do you need a refined search? Try our search engine which allows complex field-based queries.