Applying Formal Methods: Testing, Performance, and M/E-Commerce

Beschreibung

Autor*in

Manuel Núnez

Themen in »Applying Formal Methods: Testing, Performance, and M/E-Commerce«

Internet agent specification architecture distributed applications distributed computing distributed systems e-commerce formal methods formal performance engineering formal specification internet protocol analysis m-commerce modeling security security protocols

Stimmen zu »Applying Formal Methods: Testing, Performance, and M/E-Commerce«

Details

Link teilen