{
"item_title" : "Safety Assurance under Uncertainties",
"item_author" : [" Ichiro Hasuo", "Fuyuki Ishikawa "],
"item_description" : "Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal methods, software science, software engineering, control theory, machine learning.",
"item_img_path" : "https://covers1.booksamillion.com/covers/bam/0/36/755/404/0367554046_b.jpg",
"price_data" : {
"retail_price" : "73.99", "online_price" : "73.99", "our_price" : "73.99", "club_price" : "73.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
by Ichiro Hasuo and Fuyuki Ishikawa
Other Available Formats
Overview
Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal methods, software science, software engineering, control theory, machine learning.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9780367554040
- ISBN-10: 0367554046
- Publisher: CRC Press
- Publish Date: August 2026
- Dimensions: 9.21 x 6.14 x 0.76 inches
- Shipping Weight: 1.13 pounds
- Page Count: 348
Related Categories
