Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
Na minha lista:
Principais autores: | Hierons, Robert M., Bowen, Jonathan P., Harman, Mark, SpringerLink (Online service) |
---|---|
Formato: | Digital |
Publicado em: |
|
Assuntos: | |
Endereço do item: | http://dx.doi.org/10.1007/978-3-540-78917-8 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
GeoSensor Networks Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /
por: Nittel, Silvia., et al.
Publicado em: (2022) -
Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
por: Leue, Stefan., et al.
Publicado em: (2022) -
FM 2008 Formal Methods /
por: Cuellar, Jorge, et al.
Publicado em: (2022) -
Web Services and Formal Methods
por: Dumas, Marlon, et al.
Publicado em: (2022) -
Information networking. Towards ubiquitous networking and services International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007. Revised Selected Papers /
por: Vazão, Teresa, et al.
Publicado em: (2022)