Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination.

Details

Language :

English

Database :

Complementary Index

Journal :

ACM International Conference Proceeding Series

Publication Type :

Conference

Accession number :

130185895

Full Text :

https://doi.org/10.1145/2499777.2500724