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

DOI10.1007/B100825zbMath1111.68362OpenAlexW2497925506MaRDI QIDQ5394044

Mahdi Jalili-Kharaajoo

Publication date: 24 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100825

Mathematics Subject Classification ID

Fuzzy control/observation systems (93C42) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (1)

DESIGN OF AN AEROSPACE LAUNCH VEHICLE AUTOPILOT BASED ON OPTIMIZED EMOTIONAL LEARNING ALGORITHM

This page was built for publication: Applying Formal Methods: Testing, Performance, and M/E-Commerce