A Parallel Abstract Machine for the RPC Calculus
Narita, Kensuke, Nishizaki, Shin-ya
Published in Informatics Engineering and Information Science (01.01.2011)
Published in Informatics Engineering and Information Science (01.01.2011)
Get full text
Book Chapter
Destructive testing of software systems by model checking
Kumamoto, Hiroki, Mizuno, Takahisa, Narita, Kensuke, Nishizaki, Shin-ya
Published in 2010 10th International Symposium on Communications and Information Technologies (01.10.2010)
Published in 2010 10th International Symposium on Communications and Information Technologies (01.10.2010)
Get full text
Conference Proceeding