![](/img/cover-not-exists.png)
[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - Proposing a Formal Method to Reduce RTS Logical Model Complexity
Marcondes, Francisco Supino, Colonese, Emilia de Menezes, Vega,, Dias, Luiz Alberto VieiraYear:
2008
Language:
english
DOI:
10.1109/itng.2008.202
File:
PDF, 2.40 MB
english, 2008