AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems
Abdelmoula, Mariem, Gaffe, Daniel, Auguin, Michel
Published in Testing Software and Systems (01.01.2014)
Published in Testing Software and Systems (01.01.2014)
Get full text
Book Chapter
Naming for heterogeneous networks prone to episodic connectivity
Bin Rais, Rao Naveed, Abdelmoula, M, Turletti, T, Obraczka, K
Published in 2011 IEEE Wireless Communications and Networking Conference (01.03.2011)
Published in 2011 IEEE Wireless Communications and Networking Conference (01.03.2011)
Get full text
Conference Proceeding